Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
31	RS-cities_POC_01_plan--ird.dvi Add to Reading List Source URL: dlsciences.org Language: English - Date: 2011-04-07 19:53:34 Knowledge Information Humanities Research methods Data Scientific method Meta-analysis Systematic review Analysis Provenance Mathematical proof Statistics
32	Microsoft Word - K Math Standards 08.doc Add to Reading List Source URL: www.ped.state.nm.us Language: English - Date: 2016-06-25 18:47:45 Knowledge Formal sciences Academia Computing Mathematical proof Probability Mathematics education Benchmark Mathematics Mathematical analysis Statistics Geometry
33	PDF Document Add to Reading List Source URL: www.bloombergmedia.com Language: English - Date: 2016-08-19 15:43:23 Mathematical proof PDF/X Bloomberg L.P. 0.999... Mathematics Computing Epistemology
34	A Rodin plug-in for constructing reusable schematic lemmas Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander Romanovsky Newcastle University, UK Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:29:27 Mathematics Lemmas Mathematical proof
35	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
36	Mean curvature equation and mean curvature flow The mean curvature equation We found a simple and elementary proof for the interior gradient estimate for the mean curvature equation [mc1]. This proof also applies to the Add to Reading List Source URL: maths-people.anu.edu.au Language: English - Date: 2009-04-18 10:02:54 Mathematical analysis Differential geometry Geometry Geometric flow Curvature Surfaces Mean curvature flow Differential geometry of surfaces Mean curvature Curve-shortening flow Gaussian curvature
37	International Mathematical Olympiad Preliminary Selection ContestHong Kong Answers and Suggested Solutions Answers: Add to Reading List Source URL: web.hku.hk Language: English - Date: 2013-03-15 02:41:05 Mathematics Mathematical analysis Algebra Exponentials Sine Trigonometric functions Exponentiation Complex number Proof that is irrational Pythagorean triple
38	2003 Mathematics Advanced Higher Finalised Marking Instructions 2003 Mathematics Advanced Higher – Section A Add to Reading List Source URL: www.sqa.org.uk Language: English - Date: 2003-09-11 10:36:11 Mathematical analysis Special functions Mathematics Trigonometry Orthogonal polynomials Ratios Trigonometric functions Sine Chebyshev polynomials Proof that is irrational
39	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
40	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.6 (D30) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-13 07:23:59 Logic Philosophy Academia Auguste Rodin Rodin Axiom Theorem ETH Zurich Mathematical proof Mathematics